IVK - spin lock @ [1916+47+/linux-3.19-rc1/drivers/video/fbdev/via/via-gpio.c]

Instance Verification Kit (IVK)

spin lock @ [1916+47+/linux-3.19-rc1/drivers/video/fbdev/via/via-gpio.c]

Instance Signature: reg_lock

The Matching Pair Graph:

Function Name	Control Flow Graph (CFG)	Events Flow Graph (EFG)	Source Correspondence
via_gpio_set			[1686+12+/linux-3.19-rc1/drivers/video/fbdev/via/via-gpio.c]